@CHARSET "ISO-8859-1";

.options {
	background-color: white;
	border: 1px solid silver;
}

.options .active {
	background-color: #EAEAEA;
}

.option {
	cursor: pointer;
	padding: 1px 2px 1px 2px;
}

.option div {
	display: inline;
	margin-right: 4px;
}